SAT-Based Planning with Minimal-#actions Plans and "soft" Goals