0.49/1.64	unsat
