TSTP Solution File: SET027+4 by Refute---2015