0.58/1.04	unsat
