TSTP Solution File: NUM482+3 by CARINE---0.734