TSTP Solution File: GRP123-7.003 by Refute---2015