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