8.78/8.87	unsat
