TSTP Solution File: SYO050^2 by DCTP---1.31