2.58/3.07	unsat
