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