TSTP Solution File: GRP640+3 by Refute---2015