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