TSTP Solution File: KLE120+1 by Nitpick---2016