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