TSTP Solution File: REL024-1 by Refute---2015