TSTP Solution File: GRP183-2 by Refute---2015