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