TSTP Solution File: LCL055-1 by Nitpick---2016