8.36/10.05	unsat
