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