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