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