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