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