9.96/11.05	unsat
