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