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