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