TSTP Solution File: SYN090-1.008 by SInE---0.4