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