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