8.85/9.76	unsat
