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