TSTP Solution File: SYN093-1.002 by SInE---0.4