0.49/0.68	unsat
