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