TSTP Solution File: SET646^3 by DCTP---1.31