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