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