SAT-Based ( Parametric ) Reachability for Time Petri Nets ?