9.77/9.87	unsat
