TSTP Solution File: SET639+3 by Refute---2015