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