6.57/6.84	unsat
