3.39/3.46	unsat
