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