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