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