A real SMT game