TSTP Solution File: FLD049-2 by Refute---2015