2.49/3.38	unsat
