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