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