TSTP Solution File: SYN090-1.008 by SRASS---0.1