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