TSTP Solution File: SET929+1 by DCTP---1.31