Dupa ce construiesti graful cu relatiile 2SAT, o sa fie cateva variabile fortate pe o valoare. Daca restu valorilor le faci random fara nici o verificare iei 100
Chiar si sursa fara random care a luat 100 pe arena lua initial runtime error pe testu 66 pe sgu... Avea bug la componente tare-conexe.
Am inteles ca se mai ia 100 si cu backuri