TSTP Solution File: NUM456+6 by CARINE---0.734