TSTP Solution File: LCL248-3 by Refute---2015