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