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