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