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