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