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