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