TSTP Solution File: LCL770_5 by Refute---2015