5.49/7.78	unsat
