0.58/0.84	unsat
