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