2.58/4.04	unsat
