0.58/0.83	unsat
