TSTP Solution File: GRA046^2 by Refute---2015