TSTP Solution File: SYO211^5 by CARINE---0.734