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