TSTP Solution File: GRP128-4.003 by Refute---2015