64.88/66.05	unsat
