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