TSTP Solution File: NUM862_1 by CARINE---0.734