TSTP Solution File: NUM284-1.014 by SInE---0.4