#solver determinista