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