TSTP Solution File: SYO548^1 by SRASS---0.1