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