TSTP Solution File: SYO360^5 by SInE---0.4