TSTP Solution File: SYN170-1 by SInE---0.4