7.17/8.87	unsat
