TSTP Solution File: SET799+4 by DCTP---1.31