9.77/9.82	unsat
