6.52/6.64	unsat
