7.82/9.94	unsat
