2.58/3.04	unsat
