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