TSTP Solution File: SYO072^4.003 by S-SETHEO---0.0