TSTP Solution File: SYO338^5 by SETHEO---3.3