TSTP Solution File: LCL316-10 by Nitpick---2016