Java template tested - K-Sat problem from lightoj
1074 - Extended Traffic, LightOJ