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