TSTP Solution File: SYN003-1.006 by SInE---0.4