8.08/10.76	unsat
