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