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