TSTP Solution File: GRP133-2.003 by Refute---2015