4.58/7.04	unsat
