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