TSTP Solution File: GRP125-1.003 by Refute---2015