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