0.58/1.06	unsat
