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