SAT-Problemi sa uljem (R)