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