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