63.51/66.64	unsat
