TSTP Solution File: SET844-1 by Refute---2015