TSTP Solution File: SYO598+1 by SInE---0.4