2.58/3.26	unsat
