9.55/9.93	unsat
