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