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