11.98/12.05	unsat
