7.47/10.87	unsat
