5.68/6.78	unsat
