TSTP Solution File: LCL328-3 by Refute---2015