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