6.49/6.84	unsat
