TSTP Solution File: SYN797-1 by SRASS---0.1