0.49/0.69	unsat
