66.56/69.72	unsat
