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