6.64/6.69	unsat
