11.78/12.05	unsat
