9.77/9.83	unsat
