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