TSTP Solution File: LCL193-1 by Refute---2015