Synthesis from Satisficing and Temporal Goals