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