TSTP Solution File: GRP001^5 by Refute---2015