TSTP Solution File: NUM924_1 by SInE---0.4