9.43/9.91	unsat
