TSTP Solution File: LCL174-3 by Nitpick---2016