8.66/8.76	unsat
