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