8.96/10.76	unsat
