TSTP Solution File: SET609+3 by CARINE---0.734