8.89/10.05	unsat
