TSTP Solution File: SYO559^1 by CARINE---0.734