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