TSTP Solution File: NUM506+3 by SETHEO---3.3