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