TSTP Solution File: NUM536+2 by CARINE---0.734