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