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