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