TSTP Solution File: SYO061^4 by SInE---0.4