TSTP Solution File: SYO636-10 by SInE---0.4