TSTP Solution File: REL005+2 by Refute---2015