TSTP Solution File: GRP186-2 by Refute---2015