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