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