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