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