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