TSTP Solution File: KLE144+2 by Mace4---1109a