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