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