10.28/11.76	unsat
