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