64.86/66.70	unsat
