10.97/11.06	unsat
