64.08/66.44	unsat
