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