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