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