8.87/9.76	unsat
