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