64.83/66.08	unsat
