11.96/12.05	unsat
