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