TSTP Solution File: SET605^5 by CARINE---0.734