TSTP Solution File: SYO071^4.001 by SETHEO---3.3