TSTP Solution File: CAT028+3 by Refute---2015