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