TSTP Solution File: KLE011+3 by Refute---2015