TSTP Solution File: GRP685+1 by Refute---2015