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