TSTP Solution File: NUM612+3 by CARINE---0.734