TSTP Solution File: NUM860_1 by CARINE---0.734