9.42/9.89	unsat
