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