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