8.67/8.76	unsat
