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