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