TSTP Solution File: SYO454^4 by SInE---0.4