0.58/0.63	unsat
