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