TSTP Solution File: SET683^3 by CARINE---0.734