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