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