TSTP Solution File: SYO093^5 by SRASS---0.1