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