Testing basic solver (no goals)