TSTP Solution File: SYO280^5 by SETHEO---3.3