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