TSTP Solution File: GRP444-1 by Refute---2015