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