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