7.28/7.64	unsat
