66.37/69.64	unsat
