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