11.35/12.06	unsat
