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