10.61/11.76	unsat
