11.36/13.06	unsat
