TSTP Solution File: SYO076^5 by SRASS---0.1