9.46/10.05	unsat
