TSTP Solution File: LCL545+1 by Nitpick---2016