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