64.85/65.70	unsat
