1.49/3.26	unsat
