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