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