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