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