6.77/6.84	unsat
