10.39/11.06	unsat
