9.78/9.87	unsat
