TSTP Solution File: SYO586+1 by SETHEO---3.3