TSTP Solution File: LCL601^1 by Refute---2015