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