2.58/3.41	unsat
