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