TSTP Solution File: KLE071+1 by Refute---2015