9.78/14.05	unsat
