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