11.98/12.06	unsat
