2.49/3.46	unsat
