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