9.95/10.05	unsat
