TSTP Solution File: SYO035^1 by SInE---0.4