TSTP Solution File: SYN004-1.007 by SInE---0.4