6.49/6.78	unsat
