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