TSTP Solution File: SET728+4 by CARINE---0.734