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