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