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