I'm married with kids, so my life is more of a 3SAT situation.