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