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