TSTP Solution File: LCL537+1 by Refute---2015