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