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