TSTP Solution File: SET066^1 by CARINE---0.734