TSTP Solution File: NUM629+1 by CARINE---0.734