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