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