TSTP Solution File: GRP666+6 by Refute---2015