2.58/3.22	unsat
