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