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