TSTP Solution File: KLE147+2 by Refute---2015