64.55/64.70	unsat
