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