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