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