TSTP Solution File: NUM295+1 by CARINE---0.734