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