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