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