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