1.39/4.06	unsat
