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