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