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