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