3.37/3.46	unsat
