TSTP Solution File: SET885+1 by Refute---2015