TSTP Solution File: GRP024-5 by Refute---2015