5.39/6.06	unsat
