9.87/9.96	unsat
