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