TSTP Solution File: SYO402^1 by SETHEO---3.3