6.47/7.64	unsat
