TSTP Solution File: LCL839_5 by Nitpick---2016