2.49/3.47	unsat
