TSTP Solution File: NUM701^1 by CARINE---0.734