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